A subgroup
H
of
G
that is not equal to
G
.